# -*- mode: snippet -*-
# name: corollary
# --
\begin{corollary}[$1]
  \label{corollary:${1:$(downcase (replace-regexp-in-string " " "_" text))}}
  $0
\end{corollary}
